1. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
2. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
3. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
